Facet browsing currently unavailable
Page 3 of 1256 results
Sort by: relevance publication year
Editorial First Issue of the International Journal on Software and Systems Modeling JOURNAL ARTICLE published 1 September 2002 in Software and Systems Modeling |
An executable object-oriented semantics and its application to firewall verification JOURNAL ARTICLE published October 2011 in Software & Systems Modeling |
Fair treatment of evaluations in reviews JOURNAL ARTICLE published July 2008 in Software & Systems Modeling |
VPML: an approach to detect design patterns of MOF-based modeling languages JOURNAL ARTICLE published May 2015 in Software & Systems Modeling |
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile JOURNAL ARTICLE published July 2011 in Software & Systems Modeling |
Conformance checking in UML artifact-centric business process models JOURNAL ARTICLE published August 2019 in Software & Systems Modeling Research funded by Ministerio de Economía y Competitividad (TIN2017-86727-C2-1-R,TIN2017-87610-R) | Secreteria d’Universitats i Recerca de la Generalitat de Catalunya (2017-SGR-1749) | Fondo Nacional de Desarrollo Científico y Tecnológico (Iniciacion 11170092) | Comisión Nacional de Investigación Científica y Tecnológica (REDI170136) |
Applying MDD in the content management system domain JOURNAL ARTICLE published December 2021 in Software and Systems Modeling |
A feature-based survey of model view approaches JOURNAL ARTICLE published June 2019 in Software & Systems Modeling |
Extracting models from source code in software modernization JOURNAL ARTICLE published May 2014 in Software & Systems Modeling |
Industry 4.0 as a Cyber-Physical System study JOURNAL ARTICLE published February 2016 in Software & Systems Modeling |
Profiling users via their reviews: an extended systematic mapping study JOURNAL ARTICLE published February 2021 in Software and Systems Modeling Research funded by National Natural Science Foundation of China (61902010,91546111) | National Natural Science Foundation of China (91646201) | National Key Research and Development Program of China (2017YFC0803300,2017YFC0803307) |
A demonstration-based model transformation approach to automate model scalability JOURNAL ARTICLE published July 2015 in Software & Systems Modeling |
Guest editorial to the special issue on model transformation JOURNAL ARTICLE published February 2013 in Software & Systems Modeling |
A method for describing the syntax and semantics of UML statecharts JOURNAL ARTICLE published May 2004 in Software & Systems Modeling |
Integration of data validation and user interface concerns in a DSL for web applications JOURNAL ARTICLE published February 2013 in Software & Systems Modeling |
Requirements-driven deployment JOURNAL ARTICLE published February 2014 in Software & Systems Modeling |
Rigorous identification and encoding of trace-links in model-driven engineering JOURNAL ARTICLE published October 2011 in Software & Systems Modeling |
Component-based verification using incremental design and invariants JOURNAL ARTICLE published May 2016 in Software & Systems Modeling |
SoSyM reflections: the 2021 "state of the journal" report JOURNAL ARTICLE published February 2022 in Software and Systems Modeling |
A formal verification framework for static analysis JOURNAL ARTICLE published October 2016 in Software & Systems Modeling |